﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using NetalBase.Base;

namespace RmProto.Automata.CRA
{
	class CRf : CRAStateBase
	{
		#region ICRA Members
		public override void e_CR_cc()
		{
			//Log.Logger.Write(Automaton.StringId + " resource captured");
		}
		#endregion
	}
}
